El objetivo de este artículo es introducir una comprensión histórica de la relación entre el milenarismo y la tecnología moderna. Tradicionalmente, esta relación ha sido descrita desde el concepto dialéctico de ‘secularización’, la noción de ‘tecnología’ como dominación del ser humano sobre la naturaleza y la noción católica de ‘milenarismo mitigado’. Se señalan algunas limitaciones que imponen estas nociones a una comprensión histórica del fenómeno tecnológico, puesto que ignoran su participación en los procesos históricos de creación de valores. Se propone (...) una explicación genealógica de la pervivencia de la creencia en la promesa de salvación en la cultura tecnológica, denunciando la noción dialéctica de ‘secularización’ y ofreciendo descripciones más amplias de ‘milenarismo’ y ‘tecnología’. (shrink)

Los vínculos entre datos, algoritmos y dispositivos configuran desarrollos de sistemas fuertes de inteligencia artificial que impactan en los modos de ser y estar en el mundo. El artículo se orienta establecer implicaciones psicopolíticas de las inteligencias artificiales sobre el cuerpo, mediante una hermenéutica analógica de textos (2010-2021) en sus fases sintáctica, semántica y pragmática, que permita establecer una analogía entre los posibles beneficios, riesgos y oportunidades para los cuerpos y las subjetividades. Los resultados indican implicaciones en la reconfiguración del (...) cuerpo en los escenarios digital, el mercado de los perfiles o nuevas formas de ser y estar en el mundo digital, así como el ejercicio de una psicopolítica en diferentes etapas: manipulación, modificación de conductas y gobernanza. Las conclusiones apuntan a nuevas prácticas del neoliberalismo orientadas a la interioridad de los sujetos y a la comercialización de los perfiles configurados mediante sistemas de inteligencia artificial. (shrink)

This paper shows the brain correlates of Cloninger’s personality model during the presentation of social scenarios under positive or negative valence situations. Social scenarios were constructed when participants played the Dictator game with two confederates that had two opposites roles as the cooperator and non-cooperator. Later the same day during a fMRI scanning session, participants read negative and positive situations that happened to confederates in the past. Participants were asked to think “how do you think those people felt during that (...) situation?” A dissimilarity matrix between stimuli were obtained from fMRI results. Results shown that Harm Avoidance trait people make use of right middle frontal gyrus and left superior frontal gyrus to discriminate between Coop and NoCoop. Cooperation as a trait makes use of the right superior temporal gyrus and the right precuneus to discriminate between Coop and NoCoop in positive social scenarios. Finally, Self-directedness trait people make use of the right inferior parietal lobe to discriminate between Coop and NoCoop in negative social scenarios and the right precuneus to discriminate between Coop and Strangers. An intuitive link between discrimination findings and behavioral patterns of those personality traits is proposed. (shrink)

Los avances científico-tecnológicos han abierto una brecha en cuanto a los tratamientos médicos y los valores morales que deben sustentar la atención de salud. El profesional de enfermería no está exento de estos peligros, por lo que se ha generado un nuevo modelo ético que se integre al proceso de atención de enfermería. Con el objetivo de determinar los conocimientos y opiniones de estos profesionales, del área de cirugía de mínimo acceso, acerca de la aplicación del modelo en el contexto (...) de estos servicios, se diseñó una investigación de tipo observacional descriptiva con empleo de metodología cualitativa. Como técnica de exploración se usó la entrevista en profundidad, así como un panel de expertos para la construcción de la guía de entrevista. Se entrevistó a 34 enfermeras que laboraban en el Centro Nacional de Cirugía de Mínimo Acceso durante el período del estudio. Se concluye que la práctica de la cirugía de mínimo acceso es propicia para que médicos y enfermeras hagan una mayor observancia del derecho de autonomía de los pacientes. Se reconoce la capacidad de este personal para tomar decisiones independientes de los médicos en cuanto a las acciones de cuidado, lo que implica una mayor responsabilidad. Scientific and technological advances have opened a gap between medical treatments and the moral values that should support health care. The nurse is not exempt from these dangers. As such, a new ethical model that integrates to the process of nursing care has emerged. In order to determine the knowledge and opinions of the professionals who work in minimal access surgery services on the implementation of this model, a descriptive, observational study was designed utilizing qualitative methodology. In-depth interviewing was used as the primary testing technique. A panel of experts from the National Center of Minimal Access Surgery was consulted to develop the interview guide. Thirty-four nurses from the National Center for Minimal Access Surgery were interviewed over the course of the study period. Results suggest that the setting of minimal access surgery is conducive to medical professionals making greater observance of the right to patient autonomy. The ability of this staff to make independent decisions regarding medical care action is recognized, which implies greater responsibility. (shrink)

Analizamos las relaciones no siempre presentes entre deportes, barrios y políticas públicas en Chile en el marco de las vinculaciones entre Estado y sociedad civil en la que el barrio y los clubes deportivos, pese a su gran presencia y aporte a la sociabilidad, han estado ausentes. Hasta antes del golpe de Estado de 1973, la sociedad civil tenía una gran fortaleza, y muchas de sus instituciones, como los clubes deportivos, gozaban de buena salud institucional y sobre todo de (...) autonomía. El colapso institucional del año 1973 quebró las confianzas y tras un proceso muy largo, las instituciones deportivas volvieron a reconfigurarse. Las políticas neoliberales también alcanzaron al mundo del deporte. El Estado subsidiario, a través de proyectos concursables, presta ayuda al desarrollo de estas instituciones de base. (shrink)

Este estudio analiza un proceso emergente dentro de las nuevas tendencias sociales de consumo, caracterizado por el rechazo al consumo masivo, raso y uniforme e inclinado hacia un tipo de conductas diferenciales, que hemos decidido denominar: “consumo nostálgico de aristocracia”, del que se desarrollan sus descriptores más relevantes: el tiempo lento, la reflexividad estética en el estilo y en los estilos de vida, la preeminencia de la moda y el lujo, el dandismo de barrio y la emotividad melancólica. Se concluye (...) afirmando las condiciones de posibilidad de este consumo nostálgico de aristocracia. (shrink)

This book is a state-of-the-art review on the Physics of Emergence. Foreword v Gregory J. Chaitin Preface vii Ignazio Licata Emergence and Computation at the Edge of Classical and Quantum Systems 1 Ignazio Licata Gauge Generalized Principle for Complex Systems 27 Germano Resconi Undoing Quantum Measurement: Novel Twists to the Physical Account of Time 61 Avshalom C. Elitzur and Shahar Dolev Process Physics: Quantum Theories as Models of Complexity 77 Kirsty Kitto A Cross-disciplinary Framework for the Description of Contextually Mediated (...) Change 109 Liane Gabora and Diederik Aerts Quantum-like Probabilistic Models Outside Physics 135 Andrei Khrennikov Phase Transitions in Biological Matter 165 Eliano Pessa Microcosm to Macrocosm via the Notion of a Sheaf (Observers in Terms of t-topos) 229 Goro Kato The Dissipative Quantum Model of Brain and Laboratory Observations 233 Walter J. Freeman and Giuseppe Vitiello Supersymmetric Methods in the Traveling Variable: Inside Neurons and at the Brain Scale 253 H.C. Rosu, O. Cornejo-Perez, and J.E. Perez-Terrazas Turing Systems: A General Model for Complex Patterns in Nature 267 R.A. Barrio Primordial Evolution in the Finitary Process Soup 297 Olof Gornerup and James P. Crutchfield Emergence of Universe from a Quantum Network 313 Paola A. Zizzi Occam's Razor Revisited: Simplicity vs. Complexity in Biology 327 Joseph P. Zbilut Order in the Nothing: Autopoiesis and the Organizational Characterization of the Living 339 Leonardo Bich and Luisa Damiano Anticipation in Biological and Cognitive Systems: The Need for a Physical Theory of Biological Organization 371 Graziano Terenzi How Uncertain is Uncertainty? 389 Tibor Vamos Archetypes, Causal Description and Creativity in Natural World 405 Leonardo Chiatti . (shrink)

Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of ‘increasingly classical’ logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking a somehow (...) different route. We explore logics that are different from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems meta-classical non-classical logics. We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this (...) logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP. (shrink)

Semantic paradoxes pose a real threat to logics that attempt to be capable of expressing their own semantic concepts. Particularly, Curry paradoxes seem to show that many solutions must change our intuitive concepts of truth or validity or impose limits on certain inferences that are intuitively valid. In this way, the logic of a universal language would have serious problems. In this paper, we explore a different solution that tries to avoid both limitations as much as possible. Thus, we argue (...) that it is possible to capture the naive concepts of truth and validity without losing any of the valid inferences of classical logic. This approach is called the Buenos Aires plan. We present the logic of truth and validity, $$\mathsf {STTV}_{\omega }$$ based on the hierarchy of logics $$\textsf{ST}_{\omega }$$, whose validity predicate has the same semantic conditions as the material conditional. We argue that $$\mathsf {STTV}_{\omega }$$ is capable of blocking the problematic results while keeping the deductive power of classical logic as much as possible and offering an adequate semantic theory. On the other hand, one could object that it is not possible to reason with $$\mathsf {STTV}_{\omega }$$ because it is not closed under its logical principles. We respond to this objection and argue that the local characterization of validity shows how to make inferences using the logic $$\textsf{ST}_{\omega }$$. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics defined in Barrio et al. and Pailos recovers classical logic, either in the sense that every classical inferential validity is valid at some point in the hierarchy ), or because a logic of a transfinite level defined in terms of the hierarchy shares its validities (...) with classical logic. Each of these logics is consistent with transparent truth—as is shown in Pailos —, and this suggests that, contrary to standard opinions, transparent truth is after all consistent with classical logic. However, Scambler presents a major challenge to this approach. He argues that this hierarchy cannot be identified with classical logic in any way, because it recovers no classical antivalidities. We embrace Scambler’s challenge and develop a new logic based on these hierarchies. This logic recovers both every classical validity and every classical antivalidity. Moreover, we will follow the same strategy and show that contingencies need also be taken into account, and that none of the logics so far presented is enough to capture classical contingencies. Then, we will develop a multi-standard approach to elaborate a new logic that captures not only every classical validity, but also every classical antivalidity and contingency. As a€truth-predicate can be added to this logic, this result can be interpreted as showing that, despite the claims that are extremely widely accepted, classical logic does not trivialize in the context of transparent truth. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples (...) of non-paraconsistent logics that can be interpreted in a dialetheic way. (shrink)

Objective: To measure the stability of life-sustaining treatment preferences amongst older people and analyse the factors that influence stability. Design: Longitudinal cohort study. Setting: Primary care centres, Granada (Spain). Eighty-five persons age 65 years or older. Participants filled out a questionnaire with six contexts of illness (LSPQ-e). They had to decide whether or not to receive treatment. Participants completed the questionnaire at baseline and 18 months later. Results: 86 percent of the patients did not change preferences. Sex, age, marital status, (...) hospitalisation, and self-perception of health and pain did not affect preferences. Morbidity and the death of a relative did. Conclusion: Stability of preferences of older persons in relation to end-of-life decisions seems to be more probable than instability. Some factors, such as the death of a relative or the increase in morbidity, can change preferences. These findings have implications for advance directives (ADs) and advance care planning. (shrink)

In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne has attempted to refute it using the following self-referential sentence M: This sentence has no truthmaker. Essential to his refutation is that M is like the Gödel sentence and unlike the Liar, and one way in which Milne supports this assimilation is through the claim that his proof is essentially object-level and not semantic. In Section (...) 2, we shall argue that Milne is still begging the question against Truthmaker Maximalism. In Section 3, we shall argue that even assimilating M to the Liar does not force the truthmaker maximalist to maintain the ‘dull option’ that M does not express a proposition. There are other options open and, though they imply revising the logic in Milne’s reasoning, this is not one of the possible revisions he considers. In Section 4, we shall suggest that Milne’s proof requires an implicit appeal to semantic principles and notions. In Section 5, we shall point out that there are two important dissimilarities between M and the Gödel sentence. Section 6 is a brief summary and conclusion. (shrink)

Anti-exceptionalism about logic states that logical theories have no special epistemological status. Such theories are continuous with scientific theories. Contemporary anti-exceptionalists include the semantic paradoxes as a part of the elements to accept a logical theory. Exploring the Buenos Aires Plan, the recent development of the metainferential hierarchy of ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-logics shows that there are multiple options to deal with such paradoxes. There is a whole ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-based hierarchy, of which LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document} and ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} themselves are only the first steps. This means that the logics in this hierarchy are also options to analyze the inferential patterns allowed in a language that contains its own truth predicate. This paper explores these responses analyzing some reasons to go beyond the first steps. We show that LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document}, ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} and the logics of the ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-hierarchy offer different diagnoses for the same evidence: the inferences and metainferences the agents endorse in the presence of the truth-predicate. But even if the data are not enough to adopt one of these logics, there are other elements to evaluate the revision of classical logic. Which is the best explanation for the logical principles to deal with semantic paradoxes? How close should we be to classical logic? And mainly, how could a logic obey the validities it contains? From an anti-exceptionalist perspective, we argue that ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-metainferential logics in general—and STTω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {STT}}_{\omega }$$\end{document} in particular—are the best available options to explain the inferential principles involved with the notion of truth. (shrink)

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious (...) problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

RESUMEN El Servicio de Extensión Bibliotecaria es el medio adecuado que tiene la biblioteca para expandirse hacia la comunidad, de esa forma permite que aquellos usuarios que no la visitan hagan uso de sus servicios y documentos. Sin embargo, pocos conocen su historia y evolución a través del tiempo. Se muestra una revisión bibliográfica y el estado actual de este servicio. Los elementos incluidos en esta recolección abarcan publicaciones periódicas, sitios web, revistas electrónicas, publicados entre el siglo XVIII y el (...) presente. El documento pretende brindar una aproximación histórica al servicio de extensión bibliotecaria en las bibliotecas. ABSTRACT The Library Extension Service is the appropriate method a library has to expand into the community in a way that users who don’t visit it use its services and documents. However, just a few people know its history and development through time. A bibliographic review is shown along with the current state of this service. The elements included in it cover regular publications, web sites and electronic journals published from the XVIII century to the present time. The paper expects to provide a historical approach to the library extension service in libraries. (shrink)

El artículo se enfoca en el dilema al que se enfrentan los gobiernos democráticos para hacer frente a la amenaza del terrorismo. Desde el marco de la filosofía política, el autor busca aportar un enfoque que contribuya a la discusión del tema. Como contexto, toma en cuenta las medidas implementadas después del 11 de septiembre de 2001, por parte de los gobiernos de Estados Unidos de América y de países de Europa para combatir al terrorismo. La mayoría de los gobiernos (...) coincide en que, para garantizar la seguridad de sus ciudadanos frente al peligro del terrorismo, es necesario un recorte de libertades en favor de buscar el fortalecimiento del gobierno. (shrink)

Jaspers, using Weber as a model, makes a negative critique of Phenomenology, Neo-Kantism and modern Human Sciences, althoug he admires the discipline and clarity of thought of the two first philosophic movements.

Self-enhancement is the biasing of one’s view of oneself in a positive direction. The brain correlates of self-enhancement remain unclear though it has been reported that the medial prefrontal cortex may be important for producing self-enhancing responses. Previous studies have not examined whether the neural correlates of self-enhancement depend on the particular domain in which individuals are enhancing themselves. Both moralistic and egoistic words were presented to participants while transcranial magnetic stimulation was applied to the MPFC, precuneus or in a (...) sham orientation. Participants were asked to make decisions as to the words describing themselves, some of which were positive and some of which were negative. It was found the MPFC TMS significantly disrupted egoistic self-enhancement when TMS was delivered to the MPFC. Judgments involving moralistic words were not influenced by TMS. These data provide further evidence that MPFC is involved in self-enhancement, and that the role of MPFC may be selective in this regard. (shrink)

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...) based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game. In particular, we want to support the idea according to which it is not enough to identify the set of valid inferences to characterize a logic. In other words, we will argue that two logical theories could identify the same set of validities, but not be the same logic.

In this paper, I attempt to throw some light on modal realism. Since it is David Lewis who has put forward the best arguments for thar position, I focus on his work. In the first, I point out that his approach does not provide an adequate account for the intuitive lack of symmetry between the actual and the possible. To begin with, I try to show that the strategy of appealing to both the spatio-temporal network and causality is not at (...) all satisfactory. Secondly, I criticize the argument for modal realism that is based on theoretical benefits. Then, I defend the view that Lewis' indexical analysis of the concept of actuality does not satisfy his own criterion of acceptability: an analysis of actuality should account for the intuitions about our actual word. I claim thet Lewis' objections to other positions can be raised against his own position. Finally, I conclude that, even though Lewis is right in claiming that actualist conceptions do not explain why the possible is not part of the actual, the realist conception fail to account for the special ontological status that we intuitively grant to our own world. (shrink)

The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show that (...) in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth. (shrink)

I review and challenge the views on simplicity and its role in linguistics put forward by Ludlow. In particular, I criticize the claim that simplicity—in the sense pertinent to science—is nothing more than ease of use or “user-friendliness”, motivated by economy of labor. I argue that Ludlow’s discussion fails to do justice to the diversity of factors that are relevant to simplicity considerations. This, in turn, leads to the neglect of crucial cases in which the rationale for simplification is unmistakably (...) epistemic, as well as instances where simplicity is part of the content of substantive, empirical hypotheses. I illustrate these points with examples from the history of generative linguistics, such as: the shaping influence exerted by simplicity, via its involvement in the notion of “linguistically significant generalization”, its methodological and substantive contribution to the goal of explanatory adequacy, and its central role in the Minimalist Program’s search “beyond explanatory adequacy”. (shrink)

In this paper I criticize Comesaña's point of view on Putnam's model-theoretic argument. I claim that there is an interesting point made by the argument that Comesaña has not taken into account: if we want our semantic assertions to be at ali justified, the externalist claim according to which justification requires the God 's Eye View has to be given up.

Según la Propositional Attitude View (PAV), un hablante es competente en su idioma en virtud de poseer actitudes proposicionales cuyo contenido es su gramática interna. En este artículo desarrollo una objeción a PAV, llamada �el reto de la integración�, originalmente propuesto por Stich (1978) y Evans (1981), y que está constituido por dos premisas: (1) las actitudes proposicionales se caracterizan por su integración inferencial, y (2) los estados que contienen información gramatical no están inferencialmente integrados. En este artículo considero y (...) rechazo las respuestas a este argumento formuladas por Dwyer y Pietroski (1996), Higginbotham (1987) y Knowles (2000). (shrink)

En Paradojas, Paradojas y mas Paradojas se analiza de modo claro y preciso un problema fundamental: Que es una paradoja y cual es su importancia en la filosofia contemporanea? El libro pone al alcance del lector no especializado una seleccion de las paradojas mas conocidas e inquietantes, y realiza un analisis y discusion que permite que el lector pueda tener una comprension profunda de ellas y de las alternativas que surgen frente a ellas. Las paradojas son un fenomeno multidisciplinario: la (...) verdad, la racionalidad, el conocimiento, la justificacion y el infinito son algunos de los conceptos que en diferentes campos del saber han sido afectados por ellas. (shrink)

The concept of _substructural logic_ was originally introduced in relation to limitations of Gentzen’s structural rules of Contraction, Weakening and Exchange. Recent years have witnessed the development of substructural logics also challenging the Tarskian properties of Reflexivity and Transitivity of logical consequence. In this introduction we explain this recent development and two aspects in which it leads to a reassessment of the bounds of classical logic. On the one hand, standard ways of defining the notion of logical consequence in classical (...) logic naturally induce substructural logics when admitting more than two truth values; on the other hand, these substructural logics give rise to hierarchies of _metainferences_ that can be used to approximate classical logic at different levels. (shrink)

It is widely accepted that a theory of truth for arithmetic should be consistent, but -consistency is a highly desirable feature for such theories. The point has already been made for first-order languages, though the evidence is not entirely conclusive. We show that in the second-order case the consequence of adopting -inconsistent theories of truth are considered: the revision theory of nearly stable truth T # and the classical theory of symmetric truth FS. Briefly, we present some conceptual problems with (...) ω-inconsistent theories, and demonstrate some technical results that support our criticisms of such theories. (shrink)

The logics of formal inconsistency are logics tolerant to some amount of contradiction, but in which some versions of explosion still hold. The main result of this paper is a reconstruction of two such logics in the dialogical framework. By doing so, we achieve two things. On the one hand, we provide a formal approach to argumentative situations where some contradictions may occur while keeping the idea that there may still be situations in which some propositions are ‘safe’ in the (...) sense of immunity to the contradictions. On the other hand, we open a new line of study on these logics, in the context of the game-theoretical approach to semantics born in the 1960s, with various interesting perspectives, some of which are discussed at the end of this article. (shrink)

The accuracy of proxies when they interpret advance directives or apply substituted decision-making criteria has been called into question. It therefore became important to know if the Andalusian Advance Directive Form (AADF) can help to increase the accuracy of proxies' predictions. The aim of this research was to compare the effect of the AADF on the accuracy of proxies' predictions about patients' preferences with that gained from informative and deliberative sessions about end-of-life decision making. A total of 171 pairs of (...) patients and their proxies were randomized to three groups. The control group's answers to the Life Sustaining Preferences Questionnaire (LSPQ) were compared with their proxies' answers to the same questionnaire. In one intervention group, the patients had already completed the AADF and given it to their proxies, who used it to guide their own answers to the LSPQ. In the second intervention (discussion) group, both patients and proxies attended two educative sessions guided by trained nurses and later filled in the LSPQ. Comparisons of accuracy and other variables showed a strong association with the discussion group. The findings show that promoting communication between patients and their proxies improves the accuracy of proxies' predictions much more than isolated use of the AADF form. (shrink)

This article deals with the cognitive relationship between a speaker and her internal grammar. In particular, it takes issue with the view that such a relationship is one of belief or knowledge (I call this view the ‘Propositional Attitude View’, or PAV). I first argue that PAV entails that all ordinary speakers (tacitly) possess technical concepts belonging to syntactic theory, and second, that most ordinary speakers do not in fact possess such concepts. Thus, it is concluded that speakers do not (...) literally ‘know’ or ‘believe’ much of the contents of their grammars, and moreover, that these contents can only be attributed at a subpersonal level. (shrink)